Section: Dissemination

Promoting Scientific Activities

Scientific events selection

Member of the conference program committees

• ACM POPL – January 2015, Mumbai, India: Karthikeyan Bhargavan

• ACM CCS – October 2015, Denver, USA: Karthikeyan Bhargavan

• ETAPS POST – April 2015, London, UK: Karthikeyan Bhargavan

• ACM SEC@SAC – April 2015, Salamanca, Spain: Karthikeyan Bhargavan

• HotSpot – April 2015, London, UK: Bruno Blanchet

Reviewer

• Members of Prosecco reviewed papers for many major conferences and workshops including ACM CCS, ACM POPL, IEEE S&P, etc.

Journal

Member of the editorial boards

Associate Editor

• of the International Journal of Applied Cryptography (IJACT) – Inderscience Publishers: Bruno Blanchet